Integrand size = 17, antiderivative size = 33 \[ \int \sqrt {a-a \sec ^2(c+d x)} \, dx=-\frac {\cot (c+d x) \log (\cos (c+d x)) \sqrt {-a \tan ^2(c+d x)}}{d} \]
[Out]
Time = 0.04 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.176, Rules used = {4206, 3739, 3556} \[ \int \sqrt {a-a \sec ^2(c+d x)} \, dx=-\frac {\cot (c+d x) \sqrt {-a \tan ^2(c+d x)} \log (\cos (c+d x))}{d} \]
[In]
[Out]
Rule 3556
Rule 3739
Rule 4206
Rubi steps \begin{align*} \text {integral}& = \int \sqrt {-a \tan ^2(c+d x)} \, dx \\ & = \left (\cot (c+d x) \sqrt {-a \tan ^2(c+d x)}\right ) \int \tan (c+d x) \, dx \\ & = -\frac {\cot (c+d x) \log (\cos (c+d x)) \sqrt {-a \tan ^2(c+d x)}}{d} \\ \end{align*}
Time = 0.05 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.00 \[ \int \sqrt {a-a \sec ^2(c+d x)} \, dx=-\frac {\cot (c+d x) \log (\cos (c+d x)) \sqrt {-a \tan ^2(c+d x)}}{d} \]
[In]
[Out]
Time = 0.21 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.15
method | result | size |
default | \(\frac {\sqrt {-a \tan \left (d x +c \right )^{2}}\, \ln \left (1+\tan \left (d x +c \right )^{2}\right )}{2 d \tan \left (d x +c \right )}\) | \(38\) |
risch | \(\frac {\sqrt {\frac {a \left ({\mathrm e}^{2 i \left (d x +c \right )}-1\right )^{2}}{\left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right )^{2}}}\, \left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right ) x}{{\mathrm e}^{2 i \left (d x +c \right )}-1}-\frac {2 \sqrt {\frac {a \left ({\mathrm e}^{2 i \left (d x +c \right )}-1\right )^{2}}{\left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right )^{2}}}\, \left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right ) \left (d x +c \right )}{\left ({\mathrm e}^{2 i \left (d x +c \right )}-1\right ) d}-\frac {i \sqrt {\frac {a \left ({\mathrm e}^{2 i \left (d x +c \right )}-1\right )^{2}}{\left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right )^{2}}}\, \left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right ) \ln \left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right )}{\left ({\mathrm e}^{2 i \left (d x +c \right )}-1\right ) d}\) | \(194\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 53, normalized size of antiderivative = 1.61 \[ \int \sqrt {a-a \sec ^2(c+d x)} \, dx=-\frac {\sqrt {\frac {a \cos \left (d x + c\right )^{2} - a}{\cos \left (d x + c\right )^{2}}} \cos \left (d x + c\right ) \log \left (-\cos \left (d x + c\right )\right )}{d \sin \left (d x + c\right )} \]
[In]
[Out]
\[ \int \sqrt {a-a \sec ^2(c+d x)} \, dx=\int \sqrt {- a \sec ^{2}{\left (c + d x \right )} + a}\, dx \]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.64 \[ \int \sqrt {a-a \sec ^2(c+d x)} \, dx=\frac {\sqrt {-a} \log \left (\tan \left (d x + c\right )^{2} + 1\right )}{2 \, d} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 141 vs. \(2 (31) = 62\).
Time = 0.34 (sec) , antiderivative size = 141, normalized size of antiderivative = 4.27 \[ \int \sqrt {a-a \sec ^2(c+d x)} \, dx=-\frac {{\left (\log \left (\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + 1\right ) \mathrm {sgn}\left (-\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} - \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right ) - \log \left ({\left | \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 1 \right |}\right ) \mathrm {sgn}\left (-\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} - \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right ) - \log \left ({\left | \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) - 1 \right |}\right ) \mathrm {sgn}\left (-\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} - \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )\right )} \sqrt {-a} \mathrm {sgn}\left (\cos \left (d x + c\right )\right )}{d} \]
[In]
[Out]
Timed out. \[ \int \sqrt {a-a \sec ^2(c+d x)} \, dx=\int \sqrt {a-\frac {a}{{\cos \left (c+d\,x\right )}^2}} \,d x \]
[In]
[Out]